Extending probabilistic dynamic epistemic logic
نویسنده
چکیده
This paper aims to extend in two directions the probabilistic dynamic epistemic logic provided in Kooi’s paper [7] and to relate these extensions to ones made in [10]. Kooi’s probabilistic dynamic epistemic logic adds to probabilistic epistemic logic sentences that express consequences of public announcements. The paper [10] extends [7] to using action models, but in both papers, the probabilities are discrete, and are defined on trivial σalgebras over finite sample spaces. The first extension offered in this paper is to add a previous-time operator to a probabilistic dynamic epistemic logic similar to Kooi’s in [7]. The other is to involve non-trivial σ-algebras and continuous probabilities in probabilistic dynamic epistemic logic.
منابع مشابه
Probabilistic Dynamic Epistemic Logic
In this paper I combine the dynamic epistemic logic of Gerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The result is a new probabilistic dynamic epistemic logic, a logic for reasoning about probability, information, and information change that takes higher order information into account. Probabilistic epistemic models are defined, and a way to build them for applicati...
متن کاملProlegomena to General-Imaging-Based Probabilistic Dynamic Epistemic Logic
In this paper, I propose a new version of probabilistic dynamic epistemic logic (GIPDEL) that is based on general imaging, and sketch the proof of soundness and completeness of this logic. The Monty Hall dilemma is a common topic in probabilistic dynamic epistemic logic. Using product-update-rule-based probabilistic dynamic epistemic logic (PUPDEL), Kooi ([7]) supported the answer that I should...
متن کاملDynamic Epistemic Logics
Dynamic epistemic logic, broadly conceived, is the study of rational social interaction in context, the study, that is, of how agents update their knowledge and change their beliefs on the basis of pieces of information they exchange in various ways. The information that gets exchanged can be about what is the case in the world, about what changes in the world, and about what agents know or bel...
متن کاملKE Tableaux for Public Announcement Logic
Public announcement logic (PAL) is a simple dynamic epistemic logic extending reasoning about knowledge of agents with a modal operator for simultaneous and transparent knowledge updates. This logic is no more expressive than epistemic logic (EL) without updates, but exhibits compact representation of a number of complex epistemic situations. A labeled tableau proof system to reason with these ...
متن کاملProbabilistic Epistemic Updates on Algebras
Abstract. The present paper contributes to the development of the mathematical theory of epistemic updates using the tools of duality theory. Here we focus on Probabilistic Dynamic Epistemic Logic (PDEL). We dually characterize the product update construction of PDEL-models as a certain construction transforming the complex algebras associated with the given model into the complex algebra assoc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Synthese
دوره 169 شماره
صفحات -
تاریخ انتشار 2009